<?php
    include("comprobar-user.php");
    if(isset($_GET['cod'])){
        $link = mysql_connect('localhost', 'root', '') or die('No se pudo conectar: ' . mysql_error());
        mysql_set_charset('utf8',$link);
        mysql_select_db('bdproyecto') or die('No se pudo seleccionar la base de datos');
        $query="DELETE FROM carrito WHERE cod_articulo=".$_GET['cod']." AND cod_usuario=".$_SESSION['cod_usuario']." LIMIT 1";
        $result = mysql_query($query) or die('Consulta fallida: ' . mysql_error());
        mysql_close($link);
        $_SESSION['carrito']=$_SESSION['carrito']-1;
        header("refresh:0, url=compra.php");
    }
?>